Undo undocumented change.

diff --git a/src/intervals.h b/src/intervals.h
index 5aaa782e17613ffb5f5a9f303e258ddd45c9eb59..3b746ec40e9931d84207b90bb4dacef5bd0faf4c 100644 (file)
--- a/src/intervals.h
+++ b/src/intervals.h
@@ -88,7 +88,7 @@ struct interval
 
 #ifdef ENABLE_CHECKING
 #define NULL_INTERVAL_P(i) \
-  ((void)CHECK (!INT_LISPLIKE (i), "non-interval"), (i) == NULL_INTERVAL)
+   (CHECK (!INT_LISPLIKE (i), "non-interval"), (i) == NULL_INTERVAL)
 /* old #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL || INT_LISPLIKE (i)) */
 #else
 #define NULL_INTERVAL_P(i) ((i) == NULL_INTERVAL)